#!/bin/bash

flist="wlist.txt"

for k in 1 3 5 10 15 20
do
	files=$(ls ${1}/)
        for file in $files 
        do
            input="${1}/${file}"
	    echo ""	
	    time1=$(date)
	    echo ${time1}
	    echo "timeout 12000 ../../KDefective -r ${input} -O solve -a RDS -p -D Set -k ${k} -t 10800"
	    timeout 12000 ../../KDefective -r ${input} -O solve -a RDS -p -D Set -k ${k} -t 10800
        done
done
